Program logic - PDFSEARCH.IO - Document Search Engine

Program logic
Results: 2056

#	Item
301	Thinking Through Art Isabella Stewart Gardner Museum School Partnership Program Year 3 Preliminary Research Results September 2006 Add to Reading List Source URL: www.gardnermuseum.org Language: English - Date: 2014-01-10 09:28:32 Epistemology Learning Logic Philosophy of education SAT ACT Learning Through Art Advancement Via Individual Determination Education Educational psychology Critical thinking
302	EVTEK University of Applied Sciences Degree Program in Information Technology Jari Komppa Atanua – Real-Time Logic Simulator Add to Reading List Source URL: sol.gfxile.net Language: Finnish - Date: 2009-11-22 12:54:28
303	Microsoft Word - Peer Respite Toolkit_FINAL Add to Reading List Source URL: power2u.org Language: English - Date: 2014-11-26 20:13:33 Mind Educational psychology Impact assessment Program evaluation Respite Peer-to-peer Peer support Logic model Gang Resistance Education and Training Evaluation Evaluation methods Ethics
304	Preventing Chronic Disease Add to Reading List Source URL: www.socialresearchmethods.net Language: English - Date: 2012-08-02 21:03:27 Impact assessment Centers for Disease Control and Prevention Health promotion Program evaluation Logic model Participatory evaluation Stakeholder Health education PRECEDE-PROCEED Evaluation methods Evaluation Health
305	Developing the BYAEP Framework “Not everything that can be counted counts, and not everything that counts can be counted.” – Albert Einstein # "# Add to Reading List Source URL: www.massculturalcouncil.org Language: English* - Date: 2012-11-07 21:56:34 Thought Logic model Logic Positive youth development Program evaluation Empowerment evaluation Evaluation methods Evaluation Science
306	The PLC Video Training Series A comprehensive PLC training program applicable to all PLC makes and models. THE MOST POWERFUL Add to Reading List Source URL: www.cmhsoftware.com Language: English - Date: 2014-04-16 13:01:53 Ladder logic Control system Programmable automation controller SCADA Automation Technology Programmable logic controller
307	The Trellys Project  Tim Sheard  Aaron Stump  Stephanie Weirich  Trellys  Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-06-03 10:59:23 Data types Program analysis Type system Software engineering Logic in computer science Dependently typed programming Type theory Programming language theory Theoretical computer science
308	A separation logic for refining concurrent objects Aaron Turon and Mitchell Wand Northeastern University Abstract. Fine-grained concurrent data structures are crucial for gaining performance from multiprocessing, but the Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-04-16 18:04:12 Program refinement Denotational semantics Logic Symbol Entailment
309	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
310	Simplifying Loop Invariant Generation Using Splitter Predicates? Rahul Sharma, Isil Dillig, Thomas Dillig, and Alex Aiken Department of Computer Science Stanford University {sharmar,isil,tdillig,aiken}@cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-04-21 20:24:53 Mathematics Predicate transformer semantics Predicate logic Hoare logic Loop invariant Universal quantification Invariant Predicate Logic Mathematical logic Program logic

UPDATE